FILIOT, EMMANUEL: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Multi-Sequential Word Relations

Jecker, Ismaël, Filiot, Emmanuel

Journal:

International Journal of Foundations of Computer Science

Year:

2018

Language:

english

File:

PDF, 535 KB

english, 2018

2

Decidable weighted expressions with Presburger combinators

Filiot, Emmanuel, Mazzocchi, Nicolas, Raskin, Jean-François

Journal:

Journal of Computer and System Sciences

Year:

2019

Language:

english

File:

PDF, 1.24 MB

english, 2019

3

Antichains and compositional algorithms for LTL synthesis

Emmanuel Filiot, Naiyong Jin, Jean-François Raskin

Journal:

Formal Methods in System Design

Year:

2011

Language:

english

File:

PDF, 1.11 MB

english, 2011

4

Exploiting structure in LTL synthesis

Filiot, Emmanuel, Jin, Naiyong, Raskin, Jean-François

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 1.11 MB

english, 2013

5

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - Regular Transformations of Infinite Strings

Alur, Rajeev, Filiot, Emmanuel, Trivedi, Ashutosh

Year:

2012

Language:

english

File:

PDF, 294 KB

english, 2012

6

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - From Two-Way to One-Way Finite State Transducers

Filiot, Emmanuel, Gauwin, Olivier, Reynier, Pierre-Alain, Servais, Frederic

Year:

2013

Language:

english

File:

PDF, 288 KB

english, 2013

7

TREE AUTOMATA WITH GLOBAL CONSTRAINTS

FILIOT, EMMANUEL, TALBOT, JEAN-MARC, TISON, SOPHIE

Journal:

International Journal of Foundations of Computer Science

Year:

2010

Language:

english

File:

PDF, 507 KB

english, 2010

8

[ACM Press the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium - Beijing, China (2007.06.11-2007.06.13)] Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '07 - Polynomial time fragments of XPath with variables

Filiot, Emmanuel, Niehren, Joachim, Talbot, Jean-Marc, Tison, Sophie

Year:

2007

Language:

english

File:

PDF, 295 KB

english, 2007

9

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Two-Way Visibly Pushdown Automata and Transducers

Dartois, Luc, Filiot, Emmanuel, Reynier, Pierre-Alain, Talbot, Jean-Marc

Year:

2016

Language:

english

File:

PDF, 341 KB

english, 2016

10

Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games

Bruyère, Véronique, Filiot, Emmanuel, Randour, Mickael, Raskin, Jean-François

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 2.20 MB

english, 2016

11

Doomsday equilibria for omega-regular games

Chatterjee, Krishnendu, Doyen, Laurent, Filiot, Emmanuel, Raskin, Jean-François

Journal:

Information and Computation

Year:

2016

Language:

english

File:

PDF, 1.19 MB

english, 2016

12

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - On delay and regret determinization of max-plus automata

Filiot, Emmanuel, Jecker, Ismael, Lhote, Nathan, Perez, Guillermo A., Raskin, Jean-Francois

Year:

2017

Language:

english

File:

PDF, 382 KB

english, 2017

13

Decision problems of tree transducers with origin

Filiot, Emmanuel, Maneth, Sebastian, Reynier, Pierre-Alain, Talbot, Jean-Marc

Journal:

Information and Computation

Year:

2018

Language:

english

File:

PDF, 1.25 MB

english, 2018

14

Visibly Pushdown Transducers

Filiot, Emmanuel, Raskin, Jean-François, Reynier, Pierre-Alain, Servais, Frédéric, Talbot, Jean-Marc

Journal:

Journal of Computer and System Sciences

Year:

2018

Language:

english

File:

PDF, 648 KB

english, 2018

15

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Rational Synthesis Under Imperfect Information

Filiot, Emmanuel, Gentilini, Raffaella, Raskin, Jean-François

Year:

2018

Language:

english

File:

PDF, 769 KB

english, 2018

16

Decidable weighted expressions with Presburger combinators

Filiot, Emmanuel, Mazzocchi, Nicolas, Raskin, Jean-François

Journal:

Journal of Computer and System Sciences

Year:

2019

File:

PDF, 1.24 MB

2019

17

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Logics for Word Transductions with Synthesis

Dartois, Luc, Filiot, Emmanuel, Lhote, Nathan

Year:

2018

Language:

english

File:

PDF, 1.22 MB

english, 2018

18

[Lecture Notes in Computer Science] Reachability Problems Volume 11674 (13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings) ||

Filiot, Emmanuel, Jungers, Raphaël, Potapov, Igor

Year:

2019

Language:

english

File:

PDF, 6.25 MB

english, 2019